COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	more[f82,jmc]		More on Circumscription
C00003 00003		Circumscription was introduced as a method of non-monotonic reasoning
C00004 ENDMK
C⊗;
more[f82,jmc]		More on Circumscription

Abstract: (McCarthy 1980) introduced circumscription as a method
of non-monotonic reasoning.  The present paper contains a new
version of circumscription based on the minimization of formulas
rather than predicates, the notion of prioritized circumscription,
some progress towards heuristics for the use of circumscription
and a discussion of several questions that have arisen concerning
circumscription and other modes of non-monotonic reasoning.
The present paper is logically self-contained, but the motivational
remarks of the previous paper are not repeated or superseded.
	Circumscription was introduced as a method of non-monotonic reasoning
in (McCarthy 1980).